Tootfinder

"Vault 7": CIA-Informant von Wikileaks muss 40 Jahre ins Gefängnis
Fast sieben Jahre nach dem wohl schädlichsten Leak der CIA-Geschichte, wurde der Verantwortliche jetzt zu 40 Jahren Haft verurteilt. Es ging nicht nur darum.

For what's primarily a source distribution, the binary packages in #Gentoo have some cool features (with binpkg-multi-instance). The package manager can create and use different variants (builds) of the same source package, with different USE flag combinations *and* bound dependency versions.
So, NumPy 2 introduced ABI changes. Packages built against NumPy 2 work with NumPy 1, but not the other way around. Upstreams resolve this by building wheels against NumPy 2. We can't express that properly, so we force rebuilds after switching between NumPy 1 and 2.
What's really cool, though, is that once I've built all the NumPy-using packages against both NumPy versions, i can switch between them trivially using binary packages. Like, literally I can do:
$ emerge -vk --jobs "dev-python/numpy<2"
…and I get NumPy 1 and all of its reverse dependencies built against NumPy 1 installed from binary packages. If I go for NumPy 2 instead, then again, everything is reinstalled from the other set of binary packages. All of this works transparently and effortlessly — when there's no matching binary package, #Portage builds one, and starts using it the next time around.

This https://arxiv.org/abs/2403.15454 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Emotion Detection with Transformers: A Comparative Study
In this study, we explore the application of transformer-based models for emotion classification on text data. We train and evaluate several pre-trained transformer models, on the Emotion dataset using different variants of transformers. The paper also analyzes some factors that in-fluence the performance of the model, such as the fine-tuning of the transformer layer, the trainability of the layer, and the preprocessing of the text data. Our analysis reveals that commonly applied techniques lik…

Als jemanden, der einen beachtlichen Teil seines Lebens in Schwaben verbracht hat, cringet mich wenig so hart ab wie der Ausdruck "mit G𝘦schmäckle".
"Mit G'schmäckle" or bust, fuckers.
Wer sich vom Standarddeutschen nicht trennen kann, sollte lieber eine der korrekten hochsprachlichen Entsprechungen wie "mit dem üblen Pesthauch der Korruption" verwenden.

4/ #HerbstInPeking
Jesus war so cool
Alle wollten sie abhängen mit Jesus
Und alles, was er tun wollte, tat er
Er machte Wasser zu Wein
Und wenn es ihm gefallen hätte,
hätte er Gras in Marihuana
und Zucker in Kokain
und Summavit in Speed verwandelt
Mann, ist das cool
Jesus war so cool
Er ging übers Wasser und er schwamm auf dem Land
Und erzählte diese Geschichten
Und die Leute hörten zu
Warst du blind oder lahm
gingst du einfach zu Jesus
Und er legte dir die Hand auf
Und du warst geheilt
Er sagte den Leuten
Sie sollten seinen Leib essen und sein Blut trinken
Und das ist irgendwie so cool
....
Doch dann wurden einige Leute eifersüchtig
darauf, wie cool er war
Und so brachten sie ihn um
Sie brachten ihn um
Turn the radio on
Aber Jesus stand auf
Er stand auf von den Toten
tanzte herum
und fuhr
und fuhr
fuhr gen Himmel
Und das ist nun wirklich soo cool
Jesus war so cool
#DDR #dieAnderenBands #OstMugge

Deterministic Molecular Assembly with a Finite Set of Building Blocks: Universal Assembly Kits for Backbone-Assisted and Sequence-Directed Abstract Tile Assembly Models
Jeremy Guntoro, Thomas Ouldridge
https://arxiv.org/abs/2402.19225

Deterministic Molecular Assembly with a Finite Set of Building Blocks: Universal Assembly Kits for Backbone-Assisted and Sequence-Directed Abstract Tile Assembly Models
Backbone-assisted assembly processes -- such as protein folding -- allow the assembly of a large number of structures with high accuracy from only a small handful of fundamental building blocks. We aim to explore general principles underlying this phenomenon by studying variants of the temperature-1 abstract tile assembly model (aTAM). We consider the existence of finite sets of tile types that can deterministically assemble any shape producible by a given assembly model; we call such tile type…

Deciding Boolean Separation Logic via Small Models (Technical Report)
Tom\'a\v{s} Dac\'ik, Adam Rogalewicz, Tom\'a\v{s} Vojnar, Florian Zuleger
https://arxiv.org/abs/2403.18999

Deciding Boolean Separation Logic via Small Models (Technical Report)
We present a novel decision procedure for a fragment of separation logic (SL) with arbitrary nesting of separating conjunctions with boolean conjunctions, disjunctions, and guarded negations together with a support for the most common variants of linked lists. Our method is based on a model-based translation to SMT for which we introduce several optimisations$\unicode{x2013}$the most important of them is based on bounding the size of predicate instantiations within models of larger formulae, wh…

Die #Erderwämung verwandelt Australiens Böden zu einem Nettoemittenten von #Kohlendioxid. Die Speicherfähigkeit des Bodens nwüre bereits in den nächsten Jahrzehnten abnehmen.
#CO2Emissionen

Climate change will see Australia's soil emit CO2 and add to global warming
New research has shown the warming climate will turn Australia's soil into a net emitter of carbon dioxide (CO2), unless action is taken. Soil helps to keep the planet cool by absorbing carbon, however as the climate gets warmer its ability to retain carbon decreases -- and in some instances can start to release some carbon back into the air. A global research team has predicted the changes in the amount of carbon in Australia's soil between now and the year 2100.

Deciding Boolean Separation Logic via Small Models (Technical Report)
Tom\'a\v{s} Dac\'ik, Adam Rogalewicz, Tom\'a\v{s} Vojnar, Florian Zuleger
https://arxiv.org/abs/2403.18999

Deciding Boolean Separation Logic via Small Models (Technical Report)
We present a novel decision procedure for a fragment of separation logic (SL) with arbitrary nesting of separating conjunctions with boolean conjunctions, disjunctions, and guarded negations together with a support for the most common variants of linked lists. Our method is based on a model-based translation to SMT for which we introduce several optimisations$\unicode{x2013}$the most important of them is based on bounding the size of predicate instantiations within models of larger formulae, wh…

Interpretation of Inaccessible Sets in Martin-L\"{o}f Type Theory with One Mahlo Universe
Yuta Takahashi
https://arxiv.org/abs/2402.15074 https://

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
Martin-Löf type theory $\mathbf{MLTT}$ was extended by Setzer with the so-called Mahlo universe types. This extension is called $\mathbf{MLM}$ and was introduced to develop a variant of $\mathbf{MLTT}$ equipped with an analogue of a large cardinal. Another instance of constructive systems extended with an analogue of a large set was formulated in the context of Aczel's constructive set theory: $\mathbf{CZF}$. Rathjen, Griffor and Palmgren extended $\mathbf{CZF}$ with inaccessible sets of all t…